On the expressive power of temporal logic
نویسندگان
چکیده
منابع مشابه
On the Expressive Power of Temporal Logic for Infinite Words
We study the expressive power of linear propositional temporal logic interpreted on finite sequences or words. We first give a transparent proof of the fact that a formal language is expressible in this logic if and only if its syntactic semigroup is finite and aperiodic. This gives an effective algorithm to decide whether a given rational language is expressible. Our main result states a simil...
متن کاملThe Expressive Power of Temporal Logic of Actions (Extended Abstract)
It is shown that a stutter-invariant property is expressible in Temporal Logic of Actions if and only if it is expressible in Second-order Temporal Logic. In particular, validity questions can be translated from one logic to the other. The proof is based on equivalence transformations between the formulas of Temporal Logic of Actions and Second-order Temporal Logic. The translation from Second-...
متن کاملOn the Expressive Power of Graph Logic
Graph Logic, a query language being a sublogic of Monadic Second Order Logic is studied in [CGG02]. In the paper [DGG04] the expressiveness power of Graph Logic is examined, and it is shown, for many MSO properties, how to express them in Graph Logic. But despite of the positive examples, it is conjectured there that Graph Logic is strictly less expressive than MSO Logic. Here we give a proof o...
متن کاملAn Expressive Probabilistic Temporal Logic
This paper argues that a combined treatment of probabilities, time and actions is essential for an appropriate logical account of the notion of probability; and, based on this intuition, describes an expressive probabilistic temporal logic for reasoning about actions with uncertain outcomes. The logic is modal and higher-order : modalities annotated by actions are used to express possibility an...
متن کاملExpressive Power of Temporal Logics
The objectives of this paper is to survey classical and recent expressive completeness results and to provide some external yardsticks by which the expressive power of temporal logics can be measured.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1993
ISSN: 0022-0000
DOI: 10.1016/0022-0000(93)90005-h